Improving Scalability of Model Checking SoftwareArchitect...
This thesis presents a methodology that shows how abstraction can be considered during model transformation to reduce the resulting Color Petri Net (CPN) state space while preserving the expected behavior of the software. Detailed descriptions of the transformation process from UML model to CPN model for software architectures of application systems are presented as well as two case studies - ...